Verified sharp bounds for the real gamma function over the entire floating-point range

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Verified sharp bounds for the real gamma function over the entire floating-point range

An algorithm is presented for computing verified and accurate bounds for the value of the gamma function over the entire real double precision floating-point range. It means that for every double precision floating-point number x except the poles −k for 0 ≤ k ∈ N the true value of Γ(x) is included within an almost maximally accurate interval with floating-point bounds. The application to interv...

متن کامل

Sharp Smith’s bounds for the gamma function

Among various approximation formulas for the gamma function, Smith showed that [Formula: see text] which is a little-known but accurate and simple one. In this note, we prove that the function [Formula: see text] is strictly increasing and concave on [Formula: see text], which shows that Smith's approximation is just an upper one.

متن کامل

the algorithm for solving the inverse numerical range problem

برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.

15 صفحه اول

A Verified Certificate Checker for Floating-Point Error Bounds

Being able to soundly estimate roundoff errors in floatingpoint computations is important for many applications in embedded systems and scientific computing. Due to the unintuitive nature of floatingpoint arithmetic, automated static analysis tools are highly valuable for this task. The results, however, are only as correct as the implementations of the static analysis tools. This paper present...

متن کامل

Sharp Bounds on the PI Spectral Radius

In this paper some upper and lower bounds for the greatest eigenvalues of the PI and vertex PI matrices of a graph G are obtained. Those graphs for which these bounds are best possible are characterized.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Nonlinear Theory and Its Applications, IEICE

سال: 2014

ISSN: 2185-4106

DOI: 10.1587/nolta.5.339